منابع مشابه
Symbolic logic
The roots of symbolic logic can be traced as far back as to the study of syllogisms by Aristotle. However, it was not until the second half of the nineteenth century that its modern form began crystallizing, whereas solid foundations had to wait until the second decade of the twentieth century. Symbolic logic is concerned with the validity of arguments, for whose study it abstracts away from co...
متن کاملSymbolic Execution Techniques for Test Purpose Definition
We propose an approach to test whether a system conforms to its specification given in terms of an Input/Output Symbolic Transition System (IOSTS). IOSTSs use data types to enrich transitions with data-based messages and guards depending on state variables. We use symbolic execution techniques both to extract IOSTS behaviours to be tested in the role of test purposes and to ground an algorithm ...
متن کاملThe Journal of Symbolic Logic
‘Fuzzy logic’ means different things to different people. For some it is a philosophy of life – “a way to break the stranglehold that the black-and-white thinking of the Western tradition has upon us.” For others it is a more accurate way of describing our ordinary language (and thought) “in which we do not think that everything is either true or false but where we recognize the shades of grey ...
متن کاملThe Journal of Symbolic Logic
The paper proves a conjecture of Solomon Feferman concerning the indefiniteness of the continuum hypothesis relative to a semi-intuitionistic set theory. §
متن کاملSymbolic Execution with Separation Logic
We describe a sound method for automatically proving Hoare triples for loop-free code in Separation Logic, for certain preconditions and postconditions (symbolic heaps). The method uses a form of symbolic execution, a decidable proof theory for symbolic heaps, and extraction of frame axioms from incomplete proofs. This is a precursor to the use of the logic in automatic specification checking, ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mind
سال: 1910
ISSN: 0026-4423,1460-2113
DOI: 10.1093/mind/xix.1.387